/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000005*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈β↓R␈↓ α⊂␈εαFrank␈αPeterson's␈αform␈α␈ula␈αis
␈βα∀␈↓ ∧≡␈ελi␈↓ ε≠␈ελj␈↓ λA␈ελ%
␈βα"␈↓ ∧)␈ε→β␈↓ ε(␈ε→β
␈βα-␈↓ ↓N␈ε⊗↓␈αε↓␈αε↓␈↓ αα␈ε⊗␈␈αz␈␈αz!␈↓ αl␈ελH␈↓ β∃␈εα(␈↓ β!␈ελA␈↓ β9␈εα;␈↓ βI␈ελG␈↓ βd␈εα)␈↓ βz␈ε⊗␈␈αz␈␈αz!␈↓ ∧e␈ελH␈↓ ¬∞␈εα(␈↓ ¬~␈ελX␈↓ ¬8␈εα;␈↓ ¬H␈ελG␈↓ ¬c␈εα)␈↓ ¬y␈ε⊗␈␈αz␈␈αz!␈↓ ε]␈ελH␈↓ πε␈εα(␈↓ π∩␈ελX␈↓ π0␈εα,␈↓ π@␈ελA␈↓ πX␈εα;␈↓ πh␈ελG␈↓ λβ␈εα)␈↓ λ→␈ε⊗␈␈αz␈␈αz!␈↓ 	∧␈ελH␈↓ 	X␈εα(␈↓ 	d␈ελA␈↓ 	|␈εα;␈↓ 
␈ελG␈↓ 
'␈εα)␈↓ 
=␈ε⊗␈␈αz␈␈αz!␈↓ '␈ε⊗↓␈αε↓␈αε↓
␈βα;␈↓ ββ␈εn␈↓ ∧|␈εn␈↓ εt␈εn␈↓ 	≠␈εn␈↓ 	-␈ε→␈␈ε¬1
␈βαl␈↓ β&␈ε⊗j␈↓ ¬"␈ε⊗j␈↓ π1␈ε⊗j␈↓ 	T␈ε⊗j
␈βαu␈↓ αD␈εα(␈↓ αP␈ελf␈↓ αb␈ε⊗j␈↓ αl␈ελA␈↓ β∧␈εα)␈↓ ¬␈ελf␈↓ π⊂␈ελf␈↓ λr␈εα(␈↓ λ}␈ελf␈↓ 	∂␈ε⊗j␈↓ 	→␈ελA␈↓ 	1␈εα)
␈βββ␈↓ β⊂␈ε→β␈↓ ¬␈ε→β␈↓ π≠␈ε→β␈↓ 	=␈ε→β
␈ββλ␈↓ β"␈ε⊗#␈↓ ¬≡␈ε⊗#␈↓ π-␈ε⊗#␈↓ 	P␈ε⊗#
␈ββ$␈↓ ∧≡␈ελi␈↓ ε≠␈ελj␈↓ λA␈ελ%
␈ββ2␈↓ ∧)␈ε→β␈↓ ε(␈ε→β
␈ββ=␈↓ ↓N␈ε⊗↓␈αε↓␈αε↓␈↓ αα␈ε⊗␈␈αz␈␈αz!␈↓ αl␈ελH␈↓ β∃␈εα(␈↓ β!␈ελB␈↓ β9␈εα;␈↓ βI␈ελG␈↓ βd␈εα)␈↓ βz␈ε⊗␈␈αz␈␈αz!␈↓ ∧f␈ελH␈↓ ¬∂␈εα(␈↓ ¬≠␈ελY␈↓ ¬6␈εα;␈↓ ¬F␈ελG␈↓ ¬a␈εα)␈↓ ¬y␈ε⊗␈␈αz␈␈αz!␈↓ ε←␈ελH␈↓ πλ␈εα(␈↓ π∀␈ελY␈↓ π.␈εα,␈↓ π>␈ελB␈↓ πW␈εα;␈↓ πg␈ελG␈↓ λα␈εα)␈↓ λ→␈ε⊗␈␈αz␈␈αz!␈↓ 	∧␈ελH␈↓ 	X␈εα(␈↓ 	d␈ελB␈↓ 	|␈εα;␈↓ 
␈ελG␈↓ 
'␈εα)␈↓ 
=␈ε⊗␈␈αz␈␈αz!␈↓ '␈ε⊗↓␈αε↓␈αε↓
␈ββK␈↓ ββ␈εn␈↓ ∧⎇␈εn␈↓ εv␈εn␈↓ 	≠␈εn␈↓ 	-␈ε→␈␈ε¬␈α␈1
␈β∧"␈↓ ↓H␈εα(maybe).
␈β∂.␈↓ εG␈εα1
␈β⊃∂/FONT#2=cmr10[XGP,SYS]='(),.1;FPabefiklmnorstuyy/FONT#5=cmr7[XGP,SYS]=11/FONT#8=cmi10[XGP,SYS]=%ABGHXYfijj/FONT#11=cmi7[XGP,SYS]=nn/FONT#22=cmsy10[XGP,SYS]=↓!#jj/FONT#25=cmsy7[XGP,SYS]=ββ